graph rewriting system

An extension of a {term rewriting system} which uses {graph

reduction} on terms represented by {directed graph}s to avoid

duplication of work by sharing expressions.